Design and development of deadline based scheduling mechanisms for multiprocessor systems

Multiprocessor systems are nowadays de facto standard for both personal computers and server workstations. Benefits of multicore technology will be used in the next few years for embedded devices and cellular phones as well. Linux, as a General Purpose Operating System (GPOS), must support many different hardware platform, from workstations to mobile devices. Unfortu- nately, Linux has not been designed to be a Real-Time Operating System (RTOS). As a consequence, time-sensitive (e.g. audio/video players) or sim- ply real-time interactive applications, may suffer degradations in their QoS. In this thesis we extend the implementation of the “Earliest Deadline First” algorithm in the Linux kernel from single processor to multicore systems, allowing processes migration among the CPUs. We also discuss the design choices and present the experimental results that show the potential of our work

Exploring patterns of beta‐diversity to test the consistency of biogeographical boundaries: A case study across forest plant communities of Italy

Aim To date, despite their great potential biogeographical regionalization models have been mostly developed on descriptive and empirical bases. This paper aims at applying the beta-diversity framework on a statistically representative data set to analytically test the consistency of the biogeographical regionalization of Italian forests. Location Italy. Taxon Vascular plants. Methods Forest plant communities were surveyed in 804 plots made in a statistically representative sample of forest communities made by 201 sites of Italian forests across the three biogeographical regions of the country: Alpine, Continental, and Mediterranean. We conducted an ordination analysis and an analysis of beta-diversity, decomposing it into its turnover and nestedness components. Results Our results provide only partial support to the consistency of the biogeographical regionalization of Italy. While the differences in forest plant communities support the distinction between the Alpine and the other two regions, differences between Continental and Mediterranean regions had lower statistical support. Pairwise beta-diversity and its turnover component are higher between- than within-biogeographical regions. This suggests that different regional species pools contribute to assembly of local communities and that spatial distance between-regions has a stronger effect than that within-regions. Main conclusions Our findings confirm a biogeographical structure of the species pools that is captured by the biogeographical regionalization. However, nonsignificant differences between the Mediterranean and Continental biogeographical regions suggest that this biogeographical regionalization is not consistent for forest plant communities. Our results demonstrate that an analytical evaluation of species composition differences among regions using beta-diversity analysis is a promising approach for testing the consistency of biogeographical regionalization models. This approach is recommended to provide support to the biogeographical regionalization used in some environmental conservation polices adopted by EU

Adaptive partitioning of real-time tasks on multiple processors

This paper presents a new algorithm for scheduling real-time tasks on multiprocessor/multicore systems. This new algorithm is based on combining EDF scheduling with a migration strategy that moves tasks only when needed. It has been evaluated through an extensive set of simulations that showed good performance when compared with global or partitioned EDF: a worst-case utilisation bound similar to partitioned EDF for hard real-time tasks, and a tardiness bound similar to global EDF for soft real-time tasks. Therefore, the proposed scheduler is effective for dealing with both soft and hard real-time workloads

AMS-VegBank: a new database of vegetation plots for the Italian territory

The importance of collection, storage and exchange of georeferenced vegetation plot-based data has significantly grown in the recent decades, because of the new potentialities offered by ecoinformatics. In this article we introduce the Alma Mater Studiorum – University of Bologna vegetation database (AMS-VegBank; GIVD code EU-IT-021) compiling 17,505 georeferenced vegetation-plot observations within a time span of 90 years. This database includes 337,799 occurrence data of vascular plant species, belonging to many different habitat types. The historical relevance of the presented database is highlighted by the presence of some of the most ancient vegetation-plot observations in Europe (years 1930–1938). The geographic coverage of the database is mostly for Italian territory but it includes also data from other countries. The thematic focuses represented in the database are various, such as small Mediterranean islands, the Dolomite Mountains and the Italian National Parks. The large amount of historical plots available for the country not previously included in existing databases, combined with the constant action to improve the georeferencing of existing data and the addition of new data, highlight the uniqueness of this database. AMS-VegBank represents thus an important tool for studying plant biodiversity within the context of continental and global vegetation plot databases

rt-muse : measuring real-time characteristics of execution platforms

Operating systems code is often developed according to principles like simplicity, low overhead, and low memory footprint. Schedulers are no exceptions. A scheduler is usually developed with flexibility in mind, and this restricts the ability to provide real-time guarantees. Moreover, even when schedulers can provide real-time guarantees, it is unlikely that these guarantees are properly quantified using theoretical analysis that carries on to the implementation. To be able to analyze the guarantees offered by operating systems’ schedulers, we developed a publicly available tool that analyzes timing properties extracted from the execution of a set of threads and computes the lower and upper bounds to the supply function offered by the execution platform, together with information about migrations and statistics on execution times. rt-muse evaluates the impact of many application and platform characteristics including the scheduling algorithm, the amount of available resources, the usage of shared resources, and the memory access overhead. Using rt-muse, we show the impact of Linux scheduling classes, shared data and application parallelism, on the delivered computing capacity. The tool provides useful insights on the runtime behavior of the applications and scheduler. In the reported experiments, rt-muse detected some issues arising with the real-time Linux scheduler: despite having available cores, Linux does not migrate SCHED_RR threads which are enqueued behind SCHED_FIFO threads with the same priority

A Tool for Measuring Supply Functions of Execution Platforms

In operating systems, resource managers are developed according to simplicity, low overhead, low memory footprint, extensibility and efficiency. Thread schedulers are designed and developed following these implementation-related guidelines. The performance of the implementation is then tested over a set of benchmarks. However, the ability to provide real-time guarantees of these policies is rarely properly quantified.To respond to this need, we developed a publicly available tool (rt-muse), that analyzes timing properties extracted from the execution of a set of threads and it computes the lower/upper bounds to the supply function offered by the execution platform. Also, rt-muse evaluates the impact of many application and platform characteristics including the scheduling algorithm, the amount of available resources, the usage of shared resources, the memory access overhead, etc. In the experiments, we show the impact of Linux scheduling classes, shared data and application parallelism, on the delivered computing capacity. The tool provides useful insights on the runtime behavior of the applications and scheduler. For example, we detected unexpected starvation of threads scheduled by the Linux round-robin class

Real-time and energy efficiency in Linux: theory and practice

The recent changes made in the Linux kernel aimed at achieving better energy efficiency through a tighter integration between the CPU scheduler and the frequency-scaling subsystem. However, in the original implementation, the frequency scaling mechanism was used only when there were no realtime tasks in execution. This paper shows how the deadline scheduler and the cpufreq subsystem have been extended to relax this constraint and implement an energy-aware realtime scheduling algorithm. In particular, we describe the design issues encountered when implementing the GRUB-PA algorithm on a real operating system like Linux. A set of experimental results on a multi-core ARM platform validate the effectiveness of the proposed implementation, which has been recently merged into the official Linux kernel

Energy-aware real-time scheduling in the linux kernel

The recent changes made in the Linux kernel aim at achieving better energy efficiency through a tighter integration between the CPU scheduler and the frequency-scaling subsystem. However, in the current implementation, the frequency scaling mechanism is used only when there are no real-time tasks in execution. This paper shows how the deadline scheduler and the cpufreq subsystem can be extended to relax this constraint and implement an energy-aware real-time scheduling algorithm. In particular, we describe the design issues encountered when implementing the GRUB-PA algorithm on a real operating system like Linux. A set of experimental results on a multi-core ARM platform validate the effectiveness of the proposed implementation

Are available vegetation data suitable for assessing plant diversity? A study case in the Foreste Casentinesi National Park (Italy)

This paper aimed to analyze potentials and shortcomings of existing vegetation data collected in an Italian National Park (Foreste Casentinesi NP) to: (1) assess coarse scale patterns of species diversity, and (2) set up a habitat monitoring system. We generated a specifically designed georeferenced dataset by assembling all available forest vegetation data, and then we analyzed spatial and temporal patterns of data by sample-based accumulation and rarefaction curves. The analyses were performed on data gathered from the year 1934 to 2007. This broad temporal range may provide valuable information about processes occurring over a longer period than the majority of the published resurvey studies. Our study revealed an uneven distribution of the records both in time and space, corroborating the view that this type of data is inappropriate to analyze trends of plant diversity at coarse scale. However, especially the oldest records of the dataset represent a valuable source of information about long-term plant diversity changes, if used in resurvey studies designed with proper techniques. Detecting the directions of vegetation, or habitat, dynamics is crucial for addressing effective conservation actions